System integrity

Results: 1213



#Item
121Gernot Heiser / L4 microkernel family / Formal verification / Real-time operating systems / Kernel / Computer security / Integrity / Mach / Ring / Computer architecture / Trusted computing base / Microkernel

seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access

Add to Reading List

Source URL: sel4.systems

Language: English - Date: 2014-09-23 22:58:53
122Receiver Autonomous Integrity Monitoring / Aviation / Wide Area Augmentation System / Technology / Aerospace engineering / GPS / Aircraft instruments / Avionics

SPS RAIM Standard Positioning Service Receiver Autonomous Integrity Monitoring (RAIM) RNP 0.1 (HAL=185m) and RNP 0.3 (HAL=556m) These daily 24-hour plots show two different thresholds of RAIM coverage. The top plot show

Add to Reading List

Source URL: www.nstb.tc.faa.gov

Language: English - Date: 2014-07-29 11:08:29
123Help America Vote Act / Voluntary Voting System Guidelines / Electronic voting / Election Assistance Commission / Technical Guidelines Development Committee / Reliability engineering / Voting machine / Voting system / Optical scan voting system / Election technology / Politics / Government

GAO, ELECTIONS: Federal Efforts to Improve Security and Reliability of Electronic Voting Systems Are Under Way, but Key Activities Need to Be Completed

Add to Reading List

Source URL: ballot-integrity.org

Language: English - Date: 2009-06-11 06:20:07
124Process / Instruction set architectures / Interrupt handler / Kernel / Operating system / Thread / Interrupt flag / INT / Ring / Computer architecture / Interrupts / X86 instructions

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels John Criswell, Nathan Dautenhahn, and Vikram Adve Department of Computer Science University of Illinois at Urbana-Champaign Email: {criswell,d

Add to Reading List

Source URL: sva.cs.illinois.edu

Language: English - Date: 2014-03-30 11:43:41
125Compilers / MKS Toolkit / MKS Integrity / Yacc / X Window System / MKS Inc. / MKS X/Server / Software / Computing / System software

PTC MKS Toolkit, the leader in UNIX to Windows scripting, connectivity and application migration, is pleased to announce the release of PTC MKS Toolkit 9.6 and X/Server 8.7. Here are the top features delivered with these

Add to Reading List

Source URL: mkssoftware.com

Language: English - Date: 2014-12-15 17:22:01
126Political corruption / Abuse / Global Integrity / Australian Commission for Law Enforcement Integrity / Whistleblower / Anti-corruption agency / Malaysian Anti-Corruption Commission / Integrity / Fiji Independent Commission Against Corruption / Ethics / Corruption / Politics

Corruption1 The present Commonwealth government integrity system 2 includes Parliament (especially its committees), Courts, administrative review tribunals, Director of Public Prosecutions, oversight bodies such as the O

Add to Reading List

Source URL: www.accountabilityrt.org

Language: English - Date: 2012-08-01 05:38:57
127Virtual machines / Hypervisor / System Management Mode / Xen / Hyper-V / Ring / Trusted Execution Technology / Virtualization / IOMMU / System software / Software / VMware

HyperSentry: Enabling Stealthy In-context Measurement of ∗ Hypervisor Integrity Ahmed M. Azab Peng Ning

Add to Reading List

Source URL: discovery.csc.ncsu.edu

Language: English - Date: 2011-11-09 13:26:03
128Security / End point security / Spyware / Network security / Vulnerability / Intrusion prevention system / Application software / Check Point Integrity / Sourcefire / Computer network security / Cyberwarfare / Computer security

CONSIDERATIONS ON WASSENAAR ARRANGEMENT CONTROL LIST ADDITIONS FOR SURVEILLANCE

Add to Reading List

Source URL: s3.amazonaws.com

Language: English - Date: 2015-03-09 16:23:23
129Avionics / Aircraft instruments / Satellite navigation systems / Global Positioning System / Silicon Integrated Systems / Notice advisory to NAVSTAR users / GPS signals / Receiver Autonomous Integrity Monitoring / Satellite navigation / Technology / GPS / Navigation

Reference: NSL_IAA-GPS-SPSP-Q4-14 Issue: 1.A Date: GLOBAL POSITIONING SYSTEM (GPS) PERFORMANCE

Add to Reading List

Source URL: www.iaa.ie

Language: English
130Compilers / MKS Toolkit / Cygwin / MKS Integrity / Unix / Interix / X Window System / Mathcad / Creo / Software / System software / Computing

IT Systems Administrator Phone Support

Add to Reading List

Source URL: mkssoftware.com

Language: English
UPDATE